Proving of concurrent program
[计] 并行程序证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
🗣️ 情景例句
It's a good investment.
这是一项好投资。
What's all this noise?
这可怕的声音是什么？
Yes, I do.
我有。